Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
181	Foundations of Machine Learning Lecture 8 Mehryar Mohri Courant Institute and Google Research [removed] Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2014-12-05 14:56:46 Mohri Information theory Operator theory Artificial intelligence Learning Mathematics Machine learning Decision theory Rademacher complexity
182	Foundations of Machine Learning Lecture 4 Mehryar Mohri Courant Institute and Google Research Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2014-10-05 23:41:30 Statistical classification Linear algebra Support vector machine Mohri Linear classifier Vector space Hyperplane Algebra Mathematics Geometry
183	Lower Bound Techniques for Data Structures by Mihai Pˇatra¸scu Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: erikdemaine.org Language: English - Date: 2008-09-08 23:52:04 Algorithm Mathematical logic Theoretical computer science Symposium on Foundations of Computer Science PP Symposium on Theory of Computing Applied mathematics Mathematics Computer science
184	Mathematics Concentrations Department of Mathematics, Science, & Instructional Technology Education Note: Students may use 3 hours of MATH for Foundations Curriculum (FC) credit and for the concentrations. The Mathematic Add to Reading List Source URL: www.ecu.edu Language: English - Date: 2013-06-03 23:26:20 Integral Trigonometric functions Mathematics education Education reform Differential calculus over commutative algebras Probability space Mathematical analysis Mathematics Calculus
185	Complexity of Bézout’s Theorem and the Condition Number Jean-Pierre Dedieu Institut de Mathématiques de Toulouse, France Fields Institute, Thematic Program on the Foundations of Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-10-23 10:42:16 Computational complexity theory Complexity classes Abstraction Complex systems theory Complexity Holism PP Polynomial P Theoretical computer science Algebra Mathematics
186	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-08 05:08:56 Type theory Logic in computer science Reasoning Mathematical logic Epistemology Logic programming Prolog Logical framework Twelf Logic Mathematics Programming language theory
187	IS SET THEORY INDISPENSABLE? NIK WEAVER Abstract. Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theorists have known for decades that virtual Add to Reading List Source URL: www.math.wustl.edu Language: English - Date: 2014-05-11 23:50:17 Z notation Cardinal numbers Philosophy of mathematics Forcing Zermelo–Fraenkel set theory Von Neumann universe Finite set Continuum hypothesis Foundations of mathematics Mathematical logic Mathematics Set theory
188	Opinion We Can Make a Change On October 27, 1928, the Dutch mathematician L. E. J. Brouwer, well known for the fixed-point theorem named after him, received a telegram from Erhard Schmidt advising Add to Reading List Source URL: www.ams.org Language: English - Date: 2004-03-24 14:58:06 Intuitionism Compositio Mathematica Philosophy of mathematics Luitzen Egbertus Jan Brouwer London Mathematical Society Foundations of mathematics Mathematica American Mathematical Society Mathematics Mathematical software Science
189	[removed]Math 44400: Foundations of Analysis I (Class No: 5311) Meets: MW 6:00–7:15p in LD002 Final Exam: Wednesday, December 15, 6:00–8:00p Add to Reading List Source URL: www.math.iupui.edu Language: English - Date: 2010-08-22 19:04:04 Weierstrass M-test Homework Mathematics Robert G. Bartle Mathematical analysis Education Functional analysis
190	Towards certificate generation for linear heap consumption Lennart Beringer1 , Martin Hofmann2 , Alberto Momigliano1 , Olha Shkaravska2 1 Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinb Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2004-07-28 09:07:42 Philosophical logic Deduction Entailment Logical consequence Metalogic Valuation Modal logic Sheaf Natural deduction Logic Abstract algebra Mathematics

UPDATE